Formal Modeling and Verification of Context-Aware Systems using Event-B
نویسندگان
چکیده
منابع مشابه
Formal Modeling and Verification of Context-Aware Systems Using Event-B
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a formal method Event-B to model and verify such systems. First, we specify a context aware system’s co...
متن کاملTowards Formal Modeling and Verification of Context-Aware Systems
Taha Abdelmoutaleb Cherfia LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Faïza Belala LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Kamel Barkaoui Laboratoire CEDRIC Conservatoire Nationale des Arts et Métier...
متن کاملFormal Modeling in Context Aware Systems
Ubiquitous computing environment consists of diverse range of hardware and software entities, and is about the interactivity of such entities. Context-awareness, being an important ingredient plays a vital role in enabling such interactive smart environments. The entities and contextual information provided/utilized by them must have invariant meanings in order to have a common understanding am...
متن کاملModeling Context-Aware Distributed Event-Based Systems
Emerging applications are becoming increasingly dynamic, adaptive and context-aware in areas such as just-in-time location-based m-commerce, situational health monitoring, and dynamic social networking collaboration. Although numerous systems and implementation infrastructures have been proposed to deal with some features of such systems, there is a lack of higher-level modeling abstractions an...
متن کاملContext-aware approach for formal verification
The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged task for engineer since often environmental conditions lack of precision. A DSL, called CDL, has been proposed to facilitate the specification of requ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EAI Endorsed Transactions on Context-aware Systems and Applications
سال: 2014
ISSN: 2409-0026
DOI: 10.4108/casa.1.2.e4